When behaviours or character traits match sociocultural expectation, heteronomy is a natural suspicion. A further natural suspicion is that the behaviours or character traits are unhealthy for the agent or for objectives of social justice and liberation. Second Wave feminism therefore includes a robust narrative of unease about female self-sexualisation. Third Wave feminism has more upbeat narratives of the latter, in terms of confidence and empowerment. The preceding tension is refracted through cases such as Ronda Rousey and ‘derby girls’, as (...) well as those of many less ostentatious women. It is argued that such self-sexualisation can be autonomous as opposed to heteronomous. It is argued, furthermore, that it is not a priori unhealthy for the agent and that autonomous female self-sexualisation admits of degrees of self-consciousness and articulacy. At the same time, such self-sexualisation takes place within gendered social structures, with consequences that legitimate the reinvocation of Second Wave motifs such as the commodification of female sexuality and the privileging of precise images of female sexuality. (shrink)

Lacking in the philosophy of sport is discussion of the gendered numbers of sets played in Grand Slam tennis. We argue that the practice is indefensible. It can be upheld only through false beliefs about women or repressive femininity ideals. It treats male tennis players unfairly in forcing them to play more sets because of their sex. Its ideological consequences are pernicious, since it reinforces the respective identifications of the female and male with physical limitation and heroism. Both sexes have (...) compelling reason to reject the practice. (shrink)

When behaviours or character traits match sociocultural expectation, heteronomy is a natural suspicion. A further natural suspicion is that the behaviours or character traits are unhealthy for the agent or for objectives of social justice and liberation. Second Wave feminism therefore includes a robust narrative of unease about female self-sexualisation. Third Wave feminism has more upbeat narratives of the latter, in terms of confidence and empowerment. The preceding tension is refracted through cases such as Ronda Rousey and ‘derby girls’, as (...) well as those of many less ostentatious women. It is argued that such self-sexualisation can be autonomous as opposed to heteronomous. It is argued, furthermore, that it is not a priori unhealthy for the agent and that autonomous female self-sexualisation admits of degrees of self-consciousness and articulacy. At the same time, such self-sexualisation takes place within gendered social structures, with consequences that legitimate the reinvocation of Second Wave motifs such as the commodification of female sexuality and the privileging of precise images of female sexuality. (shrink)

Consequentialism is a state of affairs centered moral theory that finds support in state of affairs centered views of value, reason, action, and desire/preference. Together these views form a mutually reinforcing circle. I map an exit route out of this circle by distinguishing between two different senses in which actions can be understood as bringing about states of affairs. All actions, reasons, desires, and values involve bringing about in the first, deflationary sense, but only some appear to involve bringing about (...) in a second, rationalizing sense. I demonstrate that the views making up this circle hold, implausibly, that all reasons, values, desires, and actions involve bringing about in both senses, and that failure to distinguish these senses obscures the implausibility of these views as a set. I demonstrate, in addition, that the distinction blocks two common arguments that otherwise threaten to leverage us back in to the consequentialist circle. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

The Caster Semenya debacle touched off by the 2009 Berlin World Athletics Championships resulted finally in IOC and IAAF abandonment of sex testing, which gave way to procedures that make female competition eligibility dependent upon the level of serum testosterone, which must be below the male range or instrumentally countered by androgen resistance. We argue that the new policy is unsustainable because (i) the testosterone-performance connection it posits is uncompelling; (ii) testosterone-induced female advantage is not ipso facto unfair advantage; (iii) (...) the new policy reflects the gender policing impulses endemic to sport as well as the broader cultural impulses to monstrify women and to doctor women who have nothing wrong with them; (iv) female?male performance disparities are not the only reason for sex-segregated sport, but co-exist with respectable cultural and practical reasons, which (v) provide a powerful case for allowing athletes to compete in the sex category congruent with their gender identity. (shrink)

I demonstrate that the two major ethical traditions agree that there are given desires which provide extra-rational practical reasons. Empiricist theories ground ethics in such desires, but the extra-rationality of this foundation appears to lead to stultifying subjectivism. Rationalist theories justify the appeal to an independent Kantian Reason as necessary to gain control over such desires. But the status of these desires as providing motivating reasons guarantees that such independent Reason can never be more than one among competing sources of (...) practical rational motivation. ;I then argue that the generalization and extension of the epistemological argument against the given provides compelling evidence that there can be no such given desires. This argument demonstrates that episodes which can provide reasons cannot be extra-rational, indeed must be constituted through rational endorsement. This critical argument is applied to the work of Dennis Stampe and Thomas Hobbes , and extended from desires to preferences . ;In order to provide rational warrant, a desire must itself be rationally endorsed in a context of other endorsed episodes within which its own warrant is secured. There are no given desires, no extra-rational practical reasons in which the crude empiricist can ground practical reasoning. But there is also no need to postulate Reason independent of desire to gain rational control over such desires. I close by suggesting that this critical argument provides a framework for the construction of a middle ground between the two traditions which incorporates their central insights while avoiding their chronic failings. (shrink)

02 This gorgeous book presents and discusses the oils, works on paper, and other artistic creations of William Holman Hunt, one of the three major artistic talents of the Pre-Raphaelite brotherhood. This gorgeous book presents and discusses the oils, works on paper, and other artistic creations of William Holman Hunt, one of the three major artistic talents of the Pre-Raphaelite brotherhood.

The ninth-century Irish philosopher, theologian, and speculative grammarian Eriugena invented a number of words, chiefly in order to accommodate Greek terms in Latin. Filiolitas or “sonship” was one of these and a particularly distinctive new word, which almost no one but Eriugena seems to have used. Indeed it appears in all the works ascribed to him and serves both as a word for adoptive sonship in a theological context and as a relative noun in grammatical references. The appearance of the (...) word in a letter of King Charles the Bald may also suggest Eriugena’s authorship of that letter. (shrink)

The ninth-century Irish philosopher, theologian, and speculative grammarian Eriugena invented a number of words, chiefly in order to accommodate Greek terms in Latin. Filiolitas or “sonship” was one of these and a particularly distinctive new word, which almost no one but Eriugena seems to have used. Indeed it appears in all the works ascribed to him and serves both as a word for adoptive sonship in a theological context and as a relative noun in grammatical references. The appearance of the (...) word in a letter of King Charles the Bald may also suggest Eriugena’s authorship of that letter. (shrink)

The great paleographer Ludwig Traube was the first to suggest that the actual handwriting of John Scottus Eriugena could be identified. In this new study, the first full examination of the problem of Eriugena's handwriting, the authors not only systematically review the evidence, but suggest a solution. Their identification of the autograph is based upon a detailed palaeographical and philological examination of the surviving examples of the scripts of the two Irishmen who wrote in the twelve ninth-century manuscripts associated directly (...) with Eriugena and his school. (shrink)

Much of the twentieth century's best work on the Irish thinker Eriugena was written in French by scholars such as Maïeul Cappuyns and Édouard Jeauneau. It was surprising, therefore, that Eriugena's masterwork, the Periphyseon, had never been translated into French, even though several English translations and a Spanish version have been available for years. Francis Bertin has in two volumes now supplied an excellent French translation of the first three books of the Periphyseon. In addition, the first volume contains a (...) general introduction and bibliography to Eriugenian studies, and each of the three books is preceded by a thoughtful general analysis and followed by a commentary that includes an identification of sources, cross-references, and a review of specific issues. (shrink)

During the so-called 'historical turn' in the philosophy of science, philosophers and historians boldly argued for general patterns throughout the history of science. From Kuhn's landmark "Structure of Scientific Revolutions" until the "Scrutinizing Science" project led by Larry Laudan, there was optimism that there could be a general theoretical approach to understanding the process of scientific change. This optimism gradually faded as historians and philosophers began to focus on the details of specific case studies located within idiosyncratic historical, cultural, and (...) political contexts, and abandoned attempts to uncover general patterns of how scientific theories and methods change through time. Recent research has suggested that while we have learned a great deal about the diversity and complexity of scientific practices across history, the push to abandon hope for a broader understanding of scientific change was premature. Because of this, philosophers, historians, and social scientists have become interested in reviving the project of understanding the mechanism of scientific change while respecting the diversity and complexity that has been unveiled by careful historical research over the past few decades."--publisher. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Paul Ricoeur was one of the foremost interpreters and translators of Edmund Husserl's philosophy. These nine essays present Ricoeur's interpretation of the most important of Husserl's writings, with emphasis on his philosophy of consciousness rather than his work in logic. In Ricoeur's philosophy, phenomenology and existentialism came of age and these essays provide an introduction to the Husserlian elements which most heavily influenced his own philosophical position.

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

This article elaborates on foundational issues in the social sciences and their impact on the contemporary theory of belief revision. Recent work in the foundations of economics has focused on the role external social norms play in choice. Amartya Sen has argued in [Sen93] that the traditional rationalizability approach used in the theory of rational choice has serious problems accommodating the role of social norms. Sen's more recent work [Sen96, Sen97] proposes how one might represent social norms in the theory (...) of choice, and in a very recent article [BS07] Walter Bossert and Kotaro Suzumura develop Sen's proposal, offering an extension of the classical theory of choice that is capable of dealing with social norms. The first part of this article offers an alternative functional characterization of the extended notion of rationality employed by Bossert and Suzumura in [BS07]. This characterization, unlike the one offered in [BS07], represents a norm-sensitive notion of rationality in terms of a pure functional constraint unmediated by a notion of revealed preference (something that is crucial for the application developed in the second part of this article). This functional characterization is formulated for general domains (as is Bossert and Suzumura's characterization) and is therefore empirically more applicable than usual characterizations of rationality. Interestingly, the functional constraint we propose is a variant of a condition first entertained in [AGM85] by Carlos Alchourrón, Peter Gärdenfors and David Makinson in the area of belief change. The second part of this article applies the theory developed in the first part to the realm of belief change. We first point out that social norms can be invoked to concoct counterexamples against some postulates of belief change (like postulate (*7)) that are necessary for belief change to be relational. These examples constitute the epistemological counterpart of Sen's counterexamples against condition α in rational choice (as a matter of fact, Rott has showed in [Rot01] that condition and postulate (*7) are mutually mappable). These examples are variants of examples Rott has recently presented in [Rot04]. One of our main goals in this article consists in applying the theory developed in the first part to develop a theory of norm-inclusive belief change that circumvents the counterexamples. We offer a new axiomatization for belief change and we furnish correspondence results relating constraints of rational choice to postulates of belief change. (shrink)

-/- Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) to various natural classes of complete metric structures (such as probability algebras, Hilbert spaces, and Banach spaces). With research in continuous first-order logic preoccupied with studying the model theory of this framework, we find a natural question calls for attention. Is there an interesting set of axioms yielding a completeness result? -/- The primary purpose (...) of this article is to show that a certain, interesting set of axioms does indeed yield a completeness result for continuous first-order logic. In particular, we show that in continuous first-order logic a set of formulae is (completely) satisfiable if (and only if) it is consistent. From this result it follows that continuous first-order logic also satisfies an approximated form of strong completeness, whereby Σ⊧φ (if and) only if Σ⊢φ ∸2−n for all n < ω. This approximated form of strong completeness asserts that if Σ⊧φ, then proofs from Σ, being finite, can provide arbitrarily better approximations of the truth of φ. -/- Additionally, we consider a different kind of question traditionally arising in model theory—that of decidability. When is the set of all consequences of a theory (in a countable, recursive language) recursive? Say that a complete theory T is decidable if for every sentence φ, the value φ T is a recursive real, and moreover, uniformly computable from φ. If T is incomplete, we say it is decidable if for every sentence φ the real number φ T o is uniformly recursive from φ, where φ T o is the maximal value of φ consistent with T. As in classical first-order logic, it follows from the completeness theorem of continuous first-order logic that if a complete theory admits a recursive (or even recursively enumerable) axiomatization then it is decidable. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

Dilation occurs when an interval probability estimate of some event E is properly included in the interval probability estimate of E conditional on every event F of some partition, which means that one’s initial estimate of E becomes less precise no matter how an experiment turns out. Critics maintain that dilation is a pathological feature of imprecise probability models, while others have thought the problem is with Bayesian updating. However, two points are often overlooked: (1) knowing that E is stochastically (...) independent of F (for all F in a partition of the underlying state space) is sufficient to avoid dilation, but (2) stochastic independence is not the only independence concept at play within imprecise probability models. In this paper we give a simple characterization of dilation formulated in terms of deviation from stochastic independence, propose a measure of dilation, and distinguish between proper and improper dilation. Through this we revisit the most sensational examples of dilation, which play up independence between dilator and dilatee, and find the sensationalism undermined by either fallacious reasoning with imprecise probabilities or improperly constructed imprecise probability models. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

I introduce a mathematical account of expectation based on a qualitative criterion of coherence for qualitative comparisons between gambles (or random quantities). The qualitative comparisons may be interpreted as an agent’s comparative preference judgments over options or more directly as an agent’s comparative expectation judgments over random quantities. The criterion of coherence is reminiscent of de Finetti’s quantitative criterion of coherence for betting, yet it does not impose an Archimedean condition on an agent’s comparative judgments, it does not require the (...) binary relation reflecting an agent’s comparative judgments to be reflexive, complete or even transitive, and it applies to an absolutely arbitrary collection of gambles, free of structural conditions (e.g., closure, measurability, etc.). Moreover, unlike de Finetti’s criterion of coherence, the qualitative criterion respects the principle of weak dominance, a standard of rational decision making that obliges an agent to reject a gamble that is possibly worse and certainly no better than another gamble available for choice. Despite these weak assumptions, I establish a qualitative analogue of de Finetti’s Fundamental Theorem of Prevision, from which it follows that any coherent system of comparative expectations can be extended to a weakly ordered coherent system of comparative expectations over any collection of gambles containing the initial set of gambles of interest. The extended weakly ordered coherent system of comparative expectations satisfies familiar additivity and scale invariance postulates (i.e., independence) when the extended collection forms a linear space. In the course of these developments, I recast de Finetti’s quantitative account of coherent prevision in the qualitative framework adopted in this article. I show that comparative previsions satisfy qualitative analogues of de Finetti’s famous bookmaking theorem and his Fundamental Theorem of Prevision.The results of this article complement those of another article (Pedersen, Strictly coherent preferences, no holds barred, Manuscript, 2013). I explain how those results entail that any coherent weakly ordered system of comparative expectations over a unital linear space can be represented by an expectation function taking values in a (possibly non-Archimedean) totally ordered field extension of the system of real numbers. The ordered field extension consists of formal power series in a single infinitesimal, a natural and economical representation that provides a relief map tracing numerical non-Archimedean features to qualitative non-Archimedean features. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

In Beyond Physicalism, an interdisciplinary group of physical scientists, behavioral and social scientists, and humanists from the Esalen Institute’s Center for Theory and Research argue that physicalism must be replaced by an expanded scientific naturalism that accommodates something spiritual at the heart of nature.

Both dilation and non-conglomerability have been alleged to conflict with a fundamental principle of Bayesian methodology that we call \textit{Good's Principle}: one should always delay making a terminal decision between alternative courses of action if given the opportunity to first learn, at zero cost, the outcome of an experiment relevant to the decision. In particular, both dilation and non-conglomerability have been alleged to permit or even mandate choosing to make a terminal decision in deliberate ignorance of relevant, cost-free information. Although (...) dilation and non-conglomerability share some similarities, some authors maintain that there are important differences between the two that warrant endorsing different normative positions regarding dilation and non-conglomerability. This article reassesses the grounds for treating dilation and non-conglomerability differently. Our analysis exploits a new and general characterization result for dilation to draw a closer connection between dilation and non-conglomerability. (shrink)

A characterization result of dilation in terms of positive and negative association admits an extremal counterexample, which we present together with a minor repair of the result. Dilation may be asymmetric whereas covariation itself is symmetric. Dilation is still characterized in terms of positive and negative covariation, however, once the event to be dilated has been specified.

Gerd Gigerenzer and Thomas Sturm have recently proposed a modest form of what they describe as a normative, ecological and limited naturalism. The basic move in their argument is to infer that certain heuristics we tend to use should be used in the right ecological setting. To address this argument, we first consider the case of a concrete heuristic called Take the Best (TTB). There are at least two variants of the heuristic which we study by making explicit the choice (...) functions they induce, extending these variants of TTB beyond binary choice. We argue that the naturalistic argument can be applied to only one of the two variants of the heuristic; we also argue that the argument for the extension requires paying attention to other “rational” virtues of heuristics aside from efficacy, speed, and frugality. This notwithstanding, we show that there is a way of extending the right variant of TTB to obtain a very well behaved heuristic that could be used to offer a stronger case for the naturalistic argument (in the sense that if this heuristic is used, it is also a heuristic that we should use). The second part of the article considers attempts to extending the naturalistic argument from algorithms dealing with inference to heuristics dealing with choice. Our focus is the so-called Priority Heuristic, which we extend from risk to uncertainty. In this setting, the naturalist argument seems more difficult to formulate, if it remains feasible at all. Normativity seems in this case extrinsic to the heuristic, whose main virtue seems to be its ability to describe actual patterns of choice. But it seems that a new version of the naturalistic argument used with partial success in the case of inference is unavailable to solve the normative problem of whether we should exhibit the patterns of choice that we actually display. (shrink)